Optimal. Leaf size=292 \[ \frac {e \left (2 A c^3 d^2-5 b^3 B e^2-b c^2 d (B d+2 A e)+b^2 c e (8 B d+3 A e)\right ) \sqrt {d+e x}}{b^2 c^3}+\frac {e \left (6 A c^2 d+5 b^2 B e-3 b c (B d+A e)\right ) (d+e x)^{3/2}}{3 b^2 c^2}-\frac {(d+e x)^{5/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}-\frac {d^{5/2} (2 b B d-4 A c d+7 A b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{b^3}+\frac {(c d-b e)^{5/2} \left (2 b B c d-4 A c^2 d+5 b^2 B e-3 A b c e\right ) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 c^{7/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.59, antiderivative size = 292, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 5, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {832, 838, 840,
1180, 214} \begin {gather*} -\frac {d^{5/2} \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right ) (7 A b e-4 A c d+2 b B d)}{b^3}-\frac {(d+e x)^{5/2} \left (x \left (-b c (A e+B d)+2 A c^2 d+b^2 B e\right )+A b c d\right )}{b^2 c \left (b x+c x^2\right )}+\frac {e (d+e x)^{3/2} \left (-3 b c (A e+B d)+6 A c^2 d+5 b^2 B e\right )}{3 b^2 c^2}+\frac {(c d-b e)^{5/2} \left (-3 A b c e-4 A c^2 d+5 b^2 B e+2 b B c d\right ) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 c^{7/2}}+\frac {e \sqrt {d+e x} \left (b^2 c e (3 A e+8 B d)-b c^2 d (2 A e+B d)+2 A c^3 d^2-5 b^3 B e^2\right )}{b^2 c^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 214
Rule 832
Rule 838
Rule 840
Rule 1180
Rubi steps
\begin {align*} \int \frac {(A+B x) (d+e x)^{7/2}}{\left (b x+c x^2\right )^2} \, dx &=-\frac {(d+e x)^{5/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\int \frac {(d+e x)^{3/2} \left (\frac {1}{2} c d (2 b B d-4 A c d+7 A b e)+\frac {1}{2} e \left (6 A c^2 d+5 b^2 B e-3 b c (B d+A e)\right ) x\right )}{b x+c x^2} \, dx}{b^2 c}\\ &=\frac {e \left (6 A c^2 d+5 b^2 B e-3 b c (B d+A e)\right ) (d+e x)^{3/2}}{3 b^2 c^2}-\frac {(d+e x)^{5/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\int \frac {\sqrt {d+e x} \left (\frac {1}{2} c^2 d^2 (2 b B d-4 A c d+7 A b e)+\frac {1}{2} e \left (2 A c^3 d^2-5 b^3 B e^2-b c^2 d (B d+2 A e)+b^2 c e (8 B d+3 A e)\right ) x\right )}{b x+c x^2} \, dx}{b^2 c^2}\\ &=\frac {e \left (2 A c^3 d^2-5 b^3 B e^2-b c^2 d (B d+2 A e)+b^2 c e (8 B d+3 A e)\right ) \sqrt {d+e x}}{b^2 c^3}+\frac {e \left (6 A c^2 d+5 b^2 B e-3 b c (B d+A e)\right ) (d+e x)^{3/2}}{3 b^2 c^2}-\frac {(d+e x)^{5/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\int \frac {\frac {1}{2} c^3 d^3 (2 b B d-4 A c d+7 A b e)-\frac {1}{2} e \left (2 A c^4 d^3-5 b^4 B e^3-b c^3 d^2 (B d+3 A e)+b^3 c e^2 (13 B d+3 A e)-b^2 c^2 d e (9 B d+5 A e)\right ) x}{\sqrt {d+e x} \left (b x+c x^2\right )} \, dx}{b^2 c^3}\\ &=\frac {e \left (2 A c^3 d^2-5 b^3 B e^2-b c^2 d (B d+2 A e)+b^2 c e (8 B d+3 A e)\right ) \sqrt {d+e x}}{b^2 c^3}+\frac {e \left (6 A c^2 d+5 b^2 B e-3 b c (B d+A e)\right ) (d+e x)^{3/2}}{3 b^2 c^2}-\frac {(d+e x)^{5/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {2 \text {Subst}\left (\int \frac {\frac {1}{2} c^3 d^3 e (2 b B d-4 A c d+7 A b e)+\frac {1}{2} d e \left (2 A c^4 d^3-5 b^4 B e^3-b c^3 d^2 (B d+3 A e)+b^3 c e^2 (13 B d+3 A e)-b^2 c^2 d e (9 B d+5 A e)\right )-\frac {1}{2} e \left (2 A c^4 d^3-5 b^4 B e^3-b c^3 d^2 (B d+3 A e)+b^3 c e^2 (13 B d+3 A e)-b^2 c^2 d e (9 B d+5 A e)\right ) x^2}{c d^2-b d e+(-2 c d+b e) x^2+c x^4} \, dx,x,\sqrt {d+e x}\right )}{b^2 c^3}\\ &=\frac {e \left (2 A c^3 d^2-5 b^3 B e^2-b c^2 d (B d+2 A e)+b^2 c e (8 B d+3 A e)\right ) \sqrt {d+e x}}{b^2 c^3}+\frac {e \left (6 A c^2 d+5 b^2 B e-3 b c (B d+A e)\right ) (d+e x)^{3/2}}{3 b^2 c^2}-\frac {(d+e x)^{5/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}+\frac {\left (c d^3 (2 b B d-4 A c d+7 A b e)\right ) \text {Subst}\left (\int \frac {1}{-\frac {b e}{2}+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{b^3}+\frac {\left ((c d-b e)^3 \left (4 A c^2 d-5 b^2 B e-b c (2 B d-3 A e)\right )\right ) \text {Subst}\left (\int \frac {1}{\frac {b e}{2}+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{b^3 c^3}\\ &=\frac {e \left (2 A c^3 d^2-5 b^3 B e^2-b c^2 d (B d+2 A e)+b^2 c e (8 B d+3 A e)\right ) \sqrt {d+e x}}{b^2 c^3}+\frac {e \left (6 A c^2 d+5 b^2 B e-3 b c (B d+A e)\right ) (d+e x)^{3/2}}{3 b^2 c^2}-\frac {(d+e x)^{5/2} \left (A b c d+\left (2 A c^2 d+b^2 B e-b c (B d+A e)\right ) x\right )}{b^2 c \left (b x+c x^2\right )}-\frac {d^{5/2} (2 b B d-4 A c d+7 A b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{b^3}+\frac {(c d-b e)^{5/2} \left (2 b B c d-4 A c^2 d+5 b^2 B e-3 A b c e\right ) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 c^{7/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.77, size = 262, normalized size = 0.90 \begin {gather*} \frac {\frac {b \sqrt {d+e x} \left (-3 A c \left (2 c^3 d^3 x-3 b^3 e^3 x+b c^2 d^2 (d-3 e x)+b^2 c e^2 x (3 d-2 e x)\right )+b B x \left (3 c^3 d^3-15 b^3 e^3+b^2 c e^2 (29 d-10 e x)+b c^2 e \left (-9 d^2+20 d e x+2 e^2 x^2\right )\right )\right )}{c^3 x (b+c x)}-\frac {3 (-c d+b e)^{5/2} \left (-2 b B c d+4 A c^2 d-5 b^2 B e+3 A b c e\right ) \tan ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {-c d+b e}}\right )}{c^{7/2}}-3 d^{5/2} (2 b B d-4 A c d+7 A b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{3 b^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.76, size = 405, normalized size = 1.39
method | result | size |
derivativedivides | \(2 e^{2} \left (\frac {\frac {B c \left (e x +d \right )^{\frac {3}{2}}}{3}+A c e \sqrt {e x +d}-2 B b e \sqrt {e x +d}+3 B c d \sqrt {e x +d}}{c^{3}}-\frac {d^{3} \left (\frac {A b \sqrt {e x +d}}{2 x}+\frac {\left (7 A b e -4 A c d +2 B b d \right ) \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right )}{2 \sqrt {d}}\right )}{e^{2} b^{3}}-\frac {\frac {\left (-\frac {1}{2} A \,b^{4} c \,e^{4}+\frac {3}{2} A \,b^{3} c^{2} d \,e^{3}-\frac {3}{2} A \,b^{2} c^{3} d^{2} e^{2}+\frac {1}{2} A \,c^{4} d^{3} e b +\frac {1}{2} b^{5} B \,e^{4}-\frac {3}{2} B \,b^{4} c d \,e^{3}+\frac {3}{2} B \,b^{3} c^{2} d^{2} e^{2}-\frac {1}{2} B \,b^{2} c^{3} d^{3} e \right ) \sqrt {e x +d}}{c \left (e x +d \right )+b e -c d}+\frac {\left (3 A \,b^{4} c \,e^{4}-5 A \,b^{3} c^{2} d \,e^{3}-3 A \,b^{2} c^{3} d^{2} e^{2}+9 A \,c^{4} d^{3} e b -4 A \,d^{4} c^{5}-5 b^{5} B \,e^{4}+13 B \,b^{4} c d \,e^{3}-9 B \,b^{3} c^{2} d^{2} e^{2}-B \,b^{2} c^{3} d^{3} e +2 B b \,c^{4} d^{4}\right ) \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right )}{2 \sqrt {\left (b e -c d \right ) c}}}{c^{3} e^{2} b^{3}}\right )\) | \(405\) |
default | \(2 e^{2} \left (\frac {\frac {B c \left (e x +d \right )^{\frac {3}{2}}}{3}+A c e \sqrt {e x +d}-2 B b e \sqrt {e x +d}+3 B c d \sqrt {e x +d}}{c^{3}}-\frac {d^{3} \left (\frac {A b \sqrt {e x +d}}{2 x}+\frac {\left (7 A b e -4 A c d +2 B b d \right ) \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right )}{2 \sqrt {d}}\right )}{e^{2} b^{3}}-\frac {\frac {\left (-\frac {1}{2} A \,b^{4} c \,e^{4}+\frac {3}{2} A \,b^{3} c^{2} d \,e^{3}-\frac {3}{2} A \,b^{2} c^{3} d^{2} e^{2}+\frac {1}{2} A \,c^{4} d^{3} e b +\frac {1}{2} b^{5} B \,e^{4}-\frac {3}{2} B \,b^{4} c d \,e^{3}+\frac {3}{2} B \,b^{3} c^{2} d^{2} e^{2}-\frac {1}{2} B \,b^{2} c^{3} d^{3} e \right ) \sqrt {e x +d}}{c \left (e x +d \right )+b e -c d}+\frac {\left (3 A \,b^{4} c \,e^{4}-5 A \,b^{3} c^{2} d \,e^{3}-3 A \,b^{2} c^{3} d^{2} e^{2}+9 A \,c^{4} d^{3} e b -4 A \,d^{4} c^{5}-5 b^{5} B \,e^{4}+13 B \,b^{4} c d \,e^{3}-9 B \,b^{3} c^{2} d^{2} e^{2}-B \,b^{2} c^{3} d^{3} e +2 B b \,c^{4} d^{4}\right ) \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right )}{2 \sqrt {\left (b e -c d \right ) c}}}{c^{3} e^{2} b^{3}}\right )\) | \(405\) |
risch | \(-\frac {4 e^{3} b B \sqrt {e x +d}}{c^{3}}+\frac {2 e^{2} B \left (e x +d \right )^{\frac {3}{2}}}{3 c^{2}}+\frac {2 e^{3} A \sqrt {e x +d}}{c^{2}}-\frac {9 e c \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) A \,d^{3}}{b^{2} \sqrt {\left (b e -c d \right ) c}}-\frac {13 e^{3} b \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) B d}{c^{2} \sqrt {\left (b e -c d \right ) c}}-\frac {e c \sqrt {e x +d}\, A \,d^{3}}{b^{2} \left (c e x +b e \right )}+\frac {3 e^{3} b \sqrt {e x +d}\, B d}{c^{2} \left (c e x +b e \right )}+\frac {6 e^{2} B d \sqrt {e x +d}}{c^{2}}-\frac {d^{3} A \sqrt {e x +d}}{b^{2} x}-\frac {7 e \,d^{\frac {5}{2}} \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right ) A}{b^{2}}+\frac {4 d^{\frac {7}{2}} \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right ) A c}{b^{3}}+\frac {5 e^{4} b^{2} \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) B}{c^{3} \sqrt {\left (b e -c d \right ) c}}-\frac {2 d^{\frac {7}{2}} \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right ) B}{b^{2}}+\frac {5 e^{3} \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) A d}{c \sqrt {\left (b e -c d \right ) c}}+\frac {4 c^{2} \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) A \,d^{4}}{b^{3} \sqrt {\left (b e -c d \right ) c}}+\frac {9 e^{2} \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) B \,d^{2}}{c \sqrt {\left (b e -c d \right ) c}}-\frac {2 c \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) B \,d^{4}}{b^{2} \sqrt {\left (b e -c d \right ) c}}-\frac {3 e^{3} \sqrt {e x +d}\, A d}{c \left (c e x +b e \right )}-\frac {3 e^{2} \sqrt {e x +d}\, B \,d^{2}}{c \left (c e x +b e \right )}+\frac {3 e^{2} \sqrt {e x +d}\, A \,d^{2}}{b \left (c e x +b e \right )}+\frac {e \sqrt {e x +d}\, B \,d^{3}}{b \left (c e x +b e \right )}+\frac {3 e^{2} \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) A \,d^{2}}{b \sqrt {\left (b e -c d \right ) c}}+\frac {e \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) B \,d^{3}}{b \sqrt {\left (b e -c d \right ) c}}+\frac {e^{4} b \sqrt {e x +d}\, A}{c^{2} \left (c e x +b e \right )}-\frac {e^{4} b^{2} \sqrt {e x +d}\, B}{c^{3} \left (c e x +b e \right )}-\frac {3 e^{4} b \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right ) A}{c^{2} \sqrt {\left (b e -c d \right ) c}}\) | \(823\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 149.64, size = 2145, normalized size = 7.35 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 639 vs.
\(2 (286) = 572\).
time = 0.94, size = 639, normalized size = 2.19 \begin {gather*} \frac {{\left (2 \, B b d^{4} - 4 \, A c d^{4} + 7 \, A b d^{3} e\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-d}}\right )}{b^{3} \sqrt {-d}} - \frac {{\left (2 \, B b c^{4} d^{4} - 4 \, A c^{5} d^{4} - B b^{2} c^{3} d^{3} e + 9 \, A b c^{4} d^{3} e - 9 \, B b^{3} c^{2} d^{2} e^{2} - 3 \, A b^{2} c^{3} d^{2} e^{2} + 13 \, B b^{4} c d e^{3} - 5 \, A b^{3} c^{2} d e^{3} - 5 \, B b^{5} e^{4} + 3 \, A b^{4} c e^{4}\right )} \arctan \left (\frac {\sqrt {x e + d} c}{\sqrt {-c^{2} d + b c e}}\right )}{\sqrt {-c^{2} d + b c e} b^{3} c^{3}} + \frac {2 \, {\left ({\left (x e + d\right )}^{\frac {3}{2}} B c^{4} e^{2} + 9 \, \sqrt {x e + d} B c^{4} d e^{2} - 6 \, \sqrt {x e + d} B b c^{3} e^{3} + 3 \, \sqrt {x e + d} A c^{4} e^{3}\right )}}{3 \, c^{6}} + \frac {{\left (x e + d\right )}^{\frac {3}{2}} B b c^{3} d^{3} e - 2 \, {\left (x e + d\right )}^{\frac {3}{2}} A c^{4} d^{3} e - \sqrt {x e + d} B b c^{3} d^{4} e + 2 \, \sqrt {x e + d} A c^{4} d^{4} e - 3 \, {\left (x e + d\right )}^{\frac {3}{2}} B b^{2} c^{2} d^{2} e^{2} + 3 \, {\left (x e + d\right )}^{\frac {3}{2}} A b c^{3} d^{2} e^{2} + 3 \, \sqrt {x e + d} B b^{2} c^{2} d^{3} e^{2} - 4 \, \sqrt {x e + d} A b c^{3} d^{3} e^{2} + 3 \, {\left (x e + d\right )}^{\frac {3}{2}} B b^{3} c d e^{3} - 3 \, {\left (x e + d\right )}^{\frac {3}{2}} A b^{2} c^{2} d e^{3} - 3 \, \sqrt {x e + d} B b^{3} c d^{2} e^{3} + 3 \, \sqrt {x e + d} A b^{2} c^{2} d^{2} e^{3} - {\left (x e + d\right )}^{\frac {3}{2}} B b^{4} e^{4} + {\left (x e + d\right )}^{\frac {3}{2}} A b^{3} c e^{4} + \sqrt {x e + d} B b^{4} d e^{4} - \sqrt {x e + d} A b^{3} c d e^{4}}{{\left ({\left (x e + d\right )}^{2} c - 2 \, {\left (x e + d\right )} c d + c d^{2} + {\left (x e + d\right )} b e - b d e\right )} b^{2} c^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.29, size = 2500, normalized size = 8.56 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________